fpf{-}domain($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$f$.1